منابع مشابه
On the Trivial Many Sorted Algebras and Many Sorted Congruences
In this paper a, I denote sets and S denotes a non empty non void many sorted signature. The scheme MSSExD deals with a non empty set A and a binary predicate P , and states that: There exists a many sorted set f indexed by A such that for every element i of A holds P [i, f (i)] provided the following condition is met: • For every element i of A there exists a set j such that P [i, j]. Let I be...
متن کاملPublications, Sorted by Subject
[4] D. Haroske. Some logarithmic function spaces, entropy numbers, applications to spectral theory. [9] D. Haroske and H. Triebel. Entropy numbers in weighted function spaces and eigenvalue distribution of some degenerate pseudodifferential operators I. [10] D. Haroske and H. Triebel. Entropy numbers in weighted function spaces and eigenvalue distribution of some degenerate pseudodifferential o...
متن کاملMany - Sorted Natural Semantics
We present an extension of natural semantics which can be used to describe the static semantics of imperative and object-oriented programming languages. Furthermore we show that the semantic analysis can be generated from these descriptions. As a side eeect, we get a precise deenition of which properties of a programming language are statically decidable and which properties can only be checked...
متن کاملSorted Range Reporting Revisited
We consider the two-dimensional sorted range reporting problem. Our data structure requires O(n lg lgn) words of space and O(lg lg n+ k lg lg n) query time, where k is the number of points in the query range. This data structure improves a recent result of Nekrich and Navarro [8] by a factor of O(lg lgn) in query time, and matches the state of the art for unsorted range reporting [1].
متن کاملSoftware-sorted geographies
This paper explores the central role of computerized code in shaping the social and geographical politics of inequality in advanced societies. The central argument is that, while such processes are necessarily multifaceted, multiscaled, complex and ambivalent, a great variety of ‘software-sorting’ techniques is now being widely applied in efforts to try to separate privileged and marginalized g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 2011
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s0956796811000207